Optimal. Leaf size=109 \[ \frac {\log \left (\frac {e (c+d x)}{a+b x}\right ) \text {Li}_2\left (1+\frac {(b c-a d) (e+f x)}{(d e-c f) (a+b x)}\right )}{b c-a d}-\frac {\text {Li}_3\left (1+\frac {(b c-a d) (e+f x)}{(d e-c f) (a+b x)}\right )}{b c-a d} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.10, antiderivative size = 109, normalized size of antiderivative = 1.00, number of steps
used = 2, number of rules used = 2, integrand size = 62, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.032, Rules used = {2588, 6745}
\begin {gather*} \frac {\log \left (\frac {e (c+d x)}{a+b x}\right ) \text {PolyLog}\left (2,\frac {(e+f x) (b c-a d)}{(a+b x) (d e-c f)}+1\right )}{b c-a d}-\frac {\text {PolyLog}\left (3,\frac {(e+f x) (b c-a d)}{(a+b x) (d e-c f)}+1\right )}{b c-a d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2588
Rule 6745
Rubi steps
\begin {align*} \int \frac {\log \left (\frac {e (c+d x)}{a+b x}\right ) \log \left (\frac {(-b c+a d) (e+f x)}{(d e-c f) (a+b x)}\right )}{(a+b x) (c+d x)} \, dx &=\frac {\log \left (\frac {e (c+d x)}{a+b x}\right ) \text {Li}_2\left (1+\frac {(b c-a d) (e+f x)}{(d e-c f) (a+b x)}\right )}{b c-a d}+\int \frac {\text {Li}_2\left (1-\frac {(-b c+a d) (e+f x)}{(d e-c f) (a+b x)}\right )}{(a+b x) (c+d x)} \, dx\\ &=\frac {\log \left (\frac {e (c+d x)}{a+b x}\right ) \text {Li}_2\left (1+\frac {(b c-a d) (e+f x)}{(d e-c f) (a+b x)}\right )}{b c-a d}-\frac {\text {Li}_3\left (1+\frac {(b c-a d) (e+f x)}{(d e-c f) (a+b x)}\right )}{b c-a d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.02, size = 96, normalized size = 0.88 \begin {gather*} \frac {\log \left (\frac {e (c+d x)}{a+b x}\right ) \text {Li}_2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )-\text {Li}_3\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{b c-a d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(523\) vs.
\(2(109)=218\).
time = 8.53, size = 524, normalized size = 4.81
method | result | size |
default | \(\frac {\ln \left (\frac {e \left (d x +c \right )}{b x +a}\right )^{2} \ln \left (-\frac {\frac {e \left (d x +c \right ) a f}{b x +a}-\frac {e^{2} \left (d x +c \right ) b}{b x +a}-c e f +d \,e^{2}}{e \left (c f -e d \right )}\right )}{2 a d -2 c b}-\frac {a f \ln \left (\frac {e \left (d x +c \right )}{b x +a}\right )^{2} \ln \left (1-\frac {\left (a f -b e \right ) e \left (d x +c \right )}{\left (b x +a \right ) \left (c e f -d \,e^{2}\right )}\right )}{2 \left (a d -c b \right ) \left (a f -b e \right )}-\frac {a f \ln \left (\frac {e \left (d x +c \right )}{b x +a}\right ) \polylog \left (2, \frac {\left (a f -b e \right ) e \left (d x +c \right )}{\left (b x +a \right ) \left (c e f -d \,e^{2}\right )}\right )}{\left (a d -c b \right ) \left (a f -b e \right )}+\frac {a f \polylog \left (3, \frac {\left (a f -b e \right ) e \left (d x +c \right )}{\left (b x +a \right ) \left (c e f -d \,e^{2}\right )}\right )}{\left (a d -c b \right ) \left (a f -b e \right )}+\frac {b e \ln \left (\frac {e \left (d x +c \right )}{b x +a}\right )^{2} \ln \left (1-\frac {\left (a f -b e \right ) e \left (d x +c \right )}{\left (b x +a \right ) \left (c e f -d \,e^{2}\right )}\right )}{2 \left (a d -c b \right ) \left (a f -b e \right )}+\frac {b e \ln \left (\frac {e \left (d x +c \right )}{b x +a}\right ) \polylog \left (2, \frac {\left (a f -b e \right ) e \left (d x +c \right )}{\left (b x +a \right ) \left (c e f -d \,e^{2}\right )}\right )}{\left (a d -c b \right ) \left (a f -b e \right )}-\frac {b e \polylog \left (3, \frac {\left (a f -b e \right ) e \left (d x +c \right )}{\left (b x +a \right ) \left (c e f -d \,e^{2}\right )}\right )}{\left (a d -c b \right ) \left (a f -b e \right )}\) | \(524\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \frac {\log {\left (\frac {e \left (c + d x\right )}{a + b x} \right )}^{2} \log {\left (\frac {\left (e + f x\right ) \left (a d - b c\right )}{\left (a + b x\right ) \left (- c f + d e\right )} \right )}}{2 a d - 2 b c} - \frac {\left (a f - b e\right ) \int \frac {\log {\left (\frac {c e}{a + b x} + \frac {d e x}{a + b x} \right )}^{2}}{a e + a f x + b e x + b f x^{2}}\, dx}{2 \left (a d - b c\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {\ln \left (\frac {e\,\left (c+d\,x\right )}{a+b\,x}\right )\,\ln \left (-\frac {\left (e+f\,x\right )\,\left (a\,d-b\,c\right )}{\left (c\,f-d\,e\right )\,\left (a+b\,x\right )}\right )}{\left (a+b\,x\right )\,\left (c+d\,x\right )} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________